Decomposition theorem - PDFSEARCH.IO - Document Search Engine

Decomposition theorem
Results: 162

#	Item
81	PT-Scotch: A tool for efficient parallel graph ordering C´edric Chevalier and Fran¸cois Pellegrini I. Introduction Graph partitioning is an ubiquitous technique which has applications in many fields of computer science Add to Reading List Source URL: www.labri.fr Language: English - Date: 2006-11-05 14:02:51 Numerical linear algebra Planar separator theorem Path decomposition Graph theory Mathematics Nested dissection
82	Blocked Clause Decomposition Marijn J. H. Heule? and Armin Biere?? The University of Texas at Austin and Johannes Kepler University Linz Abstract. We demonstrate that it is fairly easy to decompose any propositional form Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:11:30 Automated theorem proving Propositional calculus Boolean algebra Mathematical logic Logic in computer science Conjunctive normal form Boolean satisfiability problem Resolution Unit propagation Theoretical computer science Mathematics Logic
83	Spectral Decomposition of Option Prices in Fast Mean-Reverting Stochastic Volatility Models Jean-Pierre Fouque, Sebastian Jaimungal, Matthew Lorig June 20, 2010 What is Spectral Theory? Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2010-06-21 15:19:58 Matrix theory Singular value decomposition Spectral theory Operator theory Eigenvalues and eigenvectors Eigenfunction Heat equation Spectral theorem Spectrum Algebra Mathematics Linear algebra
84	f02 – Eigenvalues and Eigenvectors f02ecc NAG Library Function Document nag_real_eigensystem_sel (f02ecc) Add to Reading List Source URL: nag.com Language: English - Date: 2012-01-26 06:17:13 Matrix theory Numerical linear algebra Eigenvalues and eigenvectors Singular value decomposition Matrix Inverse iteration Eigendecomposition of a matrix Perron–Frobenius theorem Algebra Linear algebra Mathematics
85	Contraction Bidimensionality: the Accurate Picture⋆ Fedor V. Fomin1 , Petr Golovach1 , and Dimitrios M. Thilikos2 1 2 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-03-02 04:30:56 Minor Path decomposition Tree decomposition Bidimensionality Edge contraction Clique-sum Robertson–Seymour theorem Apex graph Planar graph Graph theory Theoretical computer science Graph operations
86	Processes of Class (Σ), Last Passage Times and Drawdowns Patrick Cheridito ORFE, Princeton University Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2010-06-26 13:13:12 Martingale Local martingale Doob–Meyer decomposition theorem Statistics Martingale theory Probability theory
87	On Mimicking Networks Shiva Chaudhuriy K.V. Subrahmanyamy Frank Wagnerz December 4, 1997 Add to Reading List Source URL: edocs.fu-berlin.de Language: English - Date: 2013-11-28 19:46:12 Planar graphs Combinatorial optimization Tree decomposition Max-flow min-cut theorem Tree Series-parallel graph Outerplanar graph Graph Connectivity Graph theory Mathematics Graph operations
88	JOURNAL OF PARALLEL AND DISTRIBUTED Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 17:50:25 Numerical linear algebra Singular value decomposition Markov processes Markov models Eigenvalues and eigenvectors Matrix Markov chain Load balancing Perron–Frobenius theorem Algebra Mathematics Matrix theory
89	IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 24, NO. 10, OCTOBER 2002 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-09-08 14:56:37 Singular value decomposition Matrix theory Multivariate statistics Data analysis Principal component analysis Eigenvalues and eigenvectors Eigenface Spherical harmonics Karhunen–Loève theorem Algebra Mathematics Linear algebra
90	Separability and Topology Control of Quasi Unit Disk Graphs Jianer Chen∗, Anxiao(Andrew) Jiang∗, Iyad A. Kanj† , Ge Xia‡ , and Fenghui Zhang∗ ∗ Dept. of Computer Science, Texas A&M Univ. College Station, TX Add to Reading List Source URL: www.cs.lafayette.edu Language: English - Date: 2006-11-14 14:35:41 Tree Graph Vertex Planar graph Connectivity Induced path Planar separator theorem Path decomposition Graph theory Graph operations NP-complete problems

UPDATE